Abstract
In this work, our prime objective is to study non-locality and long range effect of two body correlation using quantum entanglement from various information theoretic measure in the static patch of de Sitter space using a two body Open Quantum System (OQS). The OQS is described by a system of two entangled atoms, surrounded by a thermal bath, which is modelled by a massless probe scalar field. Firstly, we partially trace over the bath field and construct the Gorini Kossakowski Sudarshan Lindblad (GSKL) master equation, which describes the time evolution of the reduced subsystem density matrix. This GSKL master equation is characterized by two components, these are-Spin chain interaction Hamiltonian and the Lindbladian. To fix the form of both of them, we compute the Wightman functions for probe massless scalar field. Using this result alongwith the large time equilibrium behaviour we obtain the analytical solution for reduced density matrix. Further using this solution we evaluate various entanglement measures, namely Von-Neumann entropy, R\(e'\)nyi entropy, logarithmic negativity, entanglement of formation, concurrence and quantum discord for the two atomic subsystem on the static patch of De-Sitter space. Finally, we have studied violation of Bell-CHSH inequality, which is the key ingredient to study non-locality in primordial cosmology.
Similar content being viewed by others
1 Introduction
The theory of closed quantum systems is a very popular topic and has already been firmly established. But in practical situations no quantum system can be ideally treated as closed and its interactions with the surroundings cannot be neglected, hence it becomes essential to develop a theoretical framework to treat these non adiabatic interactions and develop a proper understanding of the quantum mechanical system. The knowledge of complete time evolutionary dynamics of a quantum mechanical system requires incorporation of the details of the thermal environment, which paves the way towards the study of Open Quantum System [1, 43,44,45,46] (OQS), where the physical system weakly interacts with the environment. In general these interactions with the environment significantly controls the time evolution of the quantum mechanical system and induces the phenomenon of quantum dissipation and gives rise to many out of equilibrium related phenomenon [2, 3]. The dynamics of the reduced subsystem of OQS cannot be described using the unitary time evolution operators after integrating out the bath degrees of freedom from the theory. Correct time evolution of the system requires solving the effective master equation, which describes the non-unitary time evolution of the reduced density matrix of the system.
To deal with the subsystem in the context of OQS the entire combination of the system and its surroundings (thermal bath) is together treated as a closed quantum system and hence the evolution equations can be assumed to follow the unitary transformation rules. The prime assumption used in the present context is that the entire system environment combination forms a large closed quantum system. Therefore, its time evolution is governed by a unitary transformation generated by a global Hamiltonian which is made up of subsystem Hamiltonian, bath Hamiltonian and interaction Hamiltonian. Moreover the interaction between the system and the bath is assumed to depend on only the present moment, it carries no past memories at all. In short, the interaction is Markovian in nature. The interaction between the system and the surroundings is assumed to be weak which justifies the argument that the only effective change that can be seen over time occurs in the context of OQS. This assumption is generally useful in treating the evolution of the system when the OQS has sufficient time to relax to the equilibrium before being perturbed in presence of interaction between the system and thermal environment. However, in a special situation where the system has very fast or frequent perturbation in presence of system- thermal bath coupling, one needs to consider Non Markovian approximation. In this treatment additionally it has been assumed that the system is completely uncorrelated with the surroundings at initial time scale, provided the coupling between the subsystem and the environment is sufficiently weak in nature. The techniques developed in the context of OQS have proven very powerful in the context of quantum optics, statistical mechanics, information theory, thermodynamics, cosmology and biology.
On the other hand, quantum entanglement [4] is probably the most fascinating manifestation of quantum theory in which the beauty of quantum mechanics is truly realized. It is a physical phenomenon that occurs when pairs or groups of particles are generated, interact, or share spatial proximity in ways such that the quantum state of each particle cannot be described independently of the state of the others, even when the particles are separated by a large distance. Equivalently quantum entanglement of a state which is shared by two parties is necessary but not sufficient for that state to be non-local. Quantum entanglement plays a significant role in the context of quantum computation [5], information and teleportation theory [6, 7], quantum error correction [8, 9], etc. There are huge applications of quantum entanglement in various contexts. In interferometry the process of entanglement is used to achieve the Heisenberg limit [10]. In multi electron atomic system the electronic shells always consists of electrons in entangled state [11]. In the process of photosynthesis,entanglement is seen in the transfer of energy between light harvesting complexes and photosynthetic reaction centres [12]. In living organisms like bacteria entanglement has been observed between the organism and quantized light [13]. Study of various quantum information theoretic measures which quantifies the phenomenon of quantum entanglement from different types of OQS are important topics of research at present [14]. Few of them, namely Von Neumann entanglement entropy, R\(e'\)nyi entropy, quantum discord, concurrence and entanglement of formation are calculated in this paper to study the explicit role of quantum entanglement in the reduced subsystem between the two atoms.
Many authors have studied the physics of quantum fields in curved spacetime using one and two atomic system in the context of OQS [15,16,17]. A single detector system weakly interacting with a reservoir in quantized conformally coupled scalar field in De-Sitter space was investigated in the context of OQS in [18]. A similar study was done using two atoms (detectors) in [15] where the authors have studied the evolution of the subsystem only under the effect of the Lindbladian operator for different initial states. In that paper the authors have used only concurrence as the measure to quantify entanglement.In this present work we study the entanglement generation and dynamics, not only in the early and the late time scales but also at any arbitrary time scale. For that purpose we have treated the two atomic system as an open quantum system that interacts with the massless probe scalar field acting as the bath in the de Sitter curved background.After tracing out the bath degrees of freedom, we have analytically solved the GSKL master equation, which gives the non unitary evolution of any open quantum system in constant interaction with the bath. We have taken into account the contributions from both the prime components of the master equation, the effective Lamb Shift Hamiltonian and the Lindbladian operator, which provides a complete solution of the master equation and gives us a proper understanding about the complete time evolution of the reduced density matrix of the two atomic subsystem. Further using this result we have computed a number of information theoretic measures to quantify the quantum entanglement and study the entanglement dynamics and its dependence on various parameters of the system and background spacetime. Additionally, we have studied quantum non-locality by establishing Bell’s CHSH inequality violation in de Sitter space from the present OQS two atomic set up.
In Fig. 1, we have explicitly shown the Penrose diagram representing the static patch of the de Sitter space in which we have placed a two atomic open quantum system which is interacting with a thermal bath non-adiabatically. This diagram represents actually the causal patch of an observer sitting at the north pole, which is represented by \(r=0\) is static coordinate in de Sitter space. Equivalently this can be described in global coordinate with \(\theta =0\). Here the bifurcation Killing horizon for \(\partial _{t}\) is represented by \(r=\alpha \) where the parameter \(\alpha =\sqrt{\frac{3}{\Lambda }}>0\) as the cosmological constant \(\Lambda >0\) in de Sitter space. In this context the bifurcation sphere appears just at the middle of the Penrose diagram and in global coordinates it is described by \(t=0\) time slice. However, the other three regions can also be filled by the static coordinate system, which is just like Schwarzschild black holes. In Fig. 2, we have presented a mnemonic chart of the computational scheme for the present two atomic OQS set up.
The plan of this paper is as follows. In Sect. 2, we discuss the basics of the OQS. The objective of this section is to familiarize the reader with the prime components of open quantum systems. Further, in Sect. 4 and Sect. 5, we show the explicit construction of the two prime components of Gorini Kossakowski Sudarshan Lindblad (GSKL) master equation namely the effective Lamb Shift part of the Hamiltonian and the quantum dissipator operator or the Lindbladian. In Sect. 6, we explicitly calculate the analytical solution of the Gorini Kossakowski Sudarshan Lindblad (GSKL) master equation [19, 20] for the case of two entangled atoms which mimics the role of Unruh-De-Witt detectors, which are minimally coupled to a probe massless scalar field placed in the thermal bath. In Sects. 7.1–7.5, we explicitly calculate various entanglement measures used in the context of quantum information theory now-a-days. To name some we calculate Von Neumann entanglement entropy [21], R\(e'\)nyi entanglement entropy [22], Logarithmic Negativity [23], Concurrence [24], Entanglement of formation [25] and Quantum discord [26]. Finally in Sect. 8, we study the concept of non-locality from the violation of Bell-CHSH inequality [27] in De-Sitter space for the two atomic entangled subsystem in the context of OQS.
2 Modelling two atomic open quantum system (OQS)
In nature we always come across open quantum systems where the system interacts with the environment. The most general form of the total Hamiltonian can be written
where, \(H_\mathbf{System }\) represents the two atomic system Hamiltonian,Footnote 1 \(H_\mathbf{Bath }\) describes the thermal bath Hamiltonian,which is described by massless probe scalar field [28] which is minimally coupled to gravity in static de Sitter background and \(H_\mathbf{Int }\) signifies the interaction between the thermal bath and the system under consideration in OQS. \({\mathcal {I}}_\mathbf{System }\) and \({{\mathcal {I}}}_\mathbf{Bath }\) are basically identity operators in system and bath Hilbert space respectively.
In our two atomic OQS set up the system, bath and the interaction Hamiltonian are described by the following expressions [28]:
It is important to note that, \(\omega \) represents the renormalized energy level for two atoms,Footnote 2 given by:
Here \({\mathcal {K}}^{\alpha \alpha }(\pm \omega _{0})\) for \(\alpha \in \{1,2\}\) are Hilbert transformations of Wightman function computed from the probe massless scalar field, which we have defined explicitly in later section of this paper. Also, \(\omega _0\) represents the natural frequency of the two identical atoms, which we have fixed [37,38,39,40,41] at:Footnote 3
for rest of the computation performed in this paper. In this context, the atoms are characterised by the label \(\alpha \in [1,2]\) and \(\sigma ^{\alpha }_{i}\forall i \in [1,2,3]\) are the Pauli spin matrices.
The bath Hamiltonian for the probe massless scalar field have been expressed in the static patch of de Sitter space. The prime reason for choosing the de Sitter background can be understood from the fact that it is the simplest non trivial curved spacetime and is maximally symmetric. This unique feature of the de Sitter spacetime has led to extensive study on the quantization of the scalar fields [29,30,31,32,33,34] in this spacetime, which actually acts as the bath for our model. Apart from this the significance of this spacetime can also be understood in the context of cosmology. Current cosmological observations in association with the inflation theory suggets that our universe approches the exponentially expanding de Sitter phase both in the early and the late time scales ,i.e in both the far past and the far future.
In static patch of de Sitter space the background space time metric is described by the following infinitesimal line element:
Instead of using the time variable as t in the present context we have introduced a new rescaled time variable \(\tau \), which is defined as:
Under this assumption of background space time, the massless probe scalar field is minimally coupled to the gravity in this context. Additionally, it is important to mention here that the interaction is controlled by the interaction strength or coupling parameter \(\mu \) through which the bath degrees of freedom is coupled to the two atomic subsystem. For the description of the OQS we will use the traditional approach of solving the GSKL Master Equation which describes the non-unitary time evolution of the reduced density matrix of the subsystem.
3 Non unitary time evolution of the reduced subsystem
The prime objective in this section is to describe the time evolution of an OQS and to arrive at GSKL master equation which properly describes non-unitary behaviour and can be obtained by performing partial trace over the bath content i.e. the massless probe scalar field placed at the static patch of the de Sitter background space time.
The exact mathematical form of the quantum correlation part of the total density matrix can only be obtained by solving the GSKL master equation. The overall time evolution of the total density matrix is given by the following Liouville Von Neumann equation.
One can perform a unitary transformation to bring the above Liouville Von Neumann equation into the following convenient form
We can integrate the above equation to obtain
By inserting this back into Eq. (3.2) and tracing out the bath degrees of freedom, we arrive at
where we have taken
which means that initially the interaction does not create any dynamics in the bath.
Equation (3.3) is the integro-differential equation which is non-Markovian in nature as the dynamics at a particular time depends on its past evolution. This is significantly difficult to calculate. Besides on the right hand side of Eq. (3.3) we still have the total density operator.
Since, we are primarily concerned about the two atomic system, by doing the following approximations we bring this non-Markovian integro-differential equation into a Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) [19, 20] master equation which is Markovian in nature and can be solved easily.
Born Approximation: Generally in the treatment of any open quantum system the density matrix is usually represented by
$$ \rho _\mathbf{Total }(t)=\rho _\mathbf{System }(t)\otimes \rho _\mathbf{Bath }(t)+\rho _\mathbf{Correlation }(t) $$We assume that the interaction between the bath and the system is switched on at time t=0, which is a good enough assumption because finding such a time scale is always posiible before which there was no interaction i.e (\(\rho _\mathbf{Correlation }(0)=0\)) . Besides, we make a stronger claim that the coupling between the system and the bath is weak such that the influence of the bath is small. This is known as Born approximation. This approximation is important since we can ignore the initial corelation between the atomic system and bath. In this weak coupling limit situation, the time evolved density matrix is reduced to the form
$$ \rho _\mathbf{Total }(t) \approx \rho _\mathbf{System }(t) \otimes \rho _\mathbf{Bath }(t) $$This assumption reduces the Master equation to Redfield master equation which is still non-Markovian in nature.
Markov Approximation: To obtain a Markovian master equation, we assume the relaxation time(\(\tau _{R}\)) to be more compared to the bath correlation time(\(\tau _{B}\)), i.e, \(\displaystyle \tau _{R}\gg \tau _{B}\)
With this approximation we may take the bath as nearly constant i.e. \(\displaystyle \rho _\mathbf{Bath }(t) \approx \rho _\mathbf{Bath }(0)\)
As a result the total density operator can be simplified to
$$ \rho _\mathbf{Total }(t) = \rho _\mathbf{System }(t) \otimes \rho _\mathbf{Bath }(0) $$This approximation grouped with the Born approximation is often regarded as the Born-Markov approximation. However, with this approximation alone the resulting master equation does not guarantee to generate a quantum synamical semigroup. We need one more approximation to write the Master equation in Lindblad form.
Secular Approximation: With this approximation we can average out and discard highly oscillating terms, comapred to the system timescale of interest, in the Markovian master equation.
With the aid of all these approximations we obtain the following markovian master equation
where \(H_\mathbf{eff }\) is the effective Hamiltonian and \({\mathcal {L}} [\rho _\mathbf{System }(\tau )]\) is the quantum dissipator or the Lindbladian operator. These are discussed in more detail in the following sections.
4 Effective Hamiltonian construction
For our system, the effective Hamiltonian can be expressed as
where the first term in the effective Hamiltonian, physically represents the Hamiltonian of the two atomic system whereas the second term is known as the Lamb Shift Hamiltonian [16, 46], which characterizes the atomic Lamb Shift that occurs due to the interaction between the massless free probe scalar field with the two atomic system under consideration in the background of static de Sitter space. It actually measures a shift in the energy levels due to this interaction.
Here \({\mathbf{n}^\alpha }\) and \({\mathbf{n}^\beta }\) represent the normal unit vectors of the two atoms under consideration in the present OQS set up. The angles between the normal unit vectors and Pauli spin matrices are characterized by the three Euler Angles \(\alpha \),\(\beta \) and \(\gamma \). However, we consider here that these Euler angles for two atoms are different to get more general result.
Therefore the Lamb Shift Hamiltonian can be re-expressed in terms of Euler angles as:
In this present context, we define the following sets of Pauli operators for the two atoms using tensor product:
Here \(\sigma _0\) is the \(2 \times 2\) identity matrix and \(\sigma _i\) (\(i=1,2,3\)) are usual Pauli matrices. In our case, we have changed the basis for representing the effective Hamiltonian from the \(\sigma _1\),\(\sigma _2\),\(\sigma _3\) to the \(\sigma _+\),\(\sigma _-\),\(\sigma _3\) basis which along with the identity matrix forms a complete basis for the space of \(2 \times 2\) matrices. The change of basis basically reduces the number of differential equations that is obtained from the GSKL master equation and makes them simpler to solve.
In the transformed basis \(\sigma _+\) and \(\sigma _-\) are defined as: follows:
Therefore the operators \(\sigma _+^1\),and \(\sigma _-^1\) for Atom 1 is defined as:
Similarly, the operators \(\sigma _+^2\),and \(\sigma _-^2\) for Atom 2 is defined in a similar way as:
Now we transform the Hamiltonian in the new basis which is equivalent to diagonalising the \(n_i^{\alpha }\sigma _i^{\beta }\) term, and basically reduces it to the \(\sigma _3\) model. Hence the terms of \(H_\mathbf{System }\) in the diagonalized basis respectively becomes:
where \(\omega '\) is the modified frequency. When the term \(n_i\sigma _i\) is diagonalized in the new basis, a factor of \(\sqrt{n_3^2+n_+n_{-}}\) arises, which can be incorporated in the frequency as the modification factor. Thus the frequency gets modified by this process and is given by:
Here, \(n_3\), \(n_+\) and \(n_-\) are the normal unit vectors of the two atoms in the new basis defined as:
In the new diagonalized basis (already mentioned earlier) the above mentioned Lamb Shift Hamiltonian part reduces to the following simplified form:
In this context, the effective Hamiltonian matrix elements, \(H_{ij}^{\alpha \beta }\), is given by:
where \(A^{\alpha \beta }\) and \(B^{\alpha \beta }\) for the two atomic system are defined as :
where \( K^{\alpha \beta }\) is basically the Hilbert Transform of the Wightman function (two point correlator) computed from the probe massless scalar field placed at the bath and is given by the following expression:
where P is the principal value of the integral. Here \({\mathcal {G}}^{\alpha \beta }\) is the Fourier transform of the of the Wightman function in the frequency (\(\omega \)) space and can be expressed as:
where \(\omega _0\) is the energy difference between the ground and excited states of the atoms and \(G^{\alpha \beta }\) is the forward two atomic Wightman Function which is defined as:Footnote 4
In the above equations \(\mu \) the coupling parameter, represents the interaction strength between the system and the external thermal bath (i.e the gravitationally coupled scalar) field degrees of freedom. The structure of the elements of the coefficient matrix \(H_{ij}^{\alpha \beta }\) can be computed in terms of the Wightman function of the external free probe massless scalar field in static De-Sitter background, which finally fix the structure of the effective Hamiltonian in the present scenario.
5 Quantum dissipator or Lindbladian construction
The concept of fluctuation and dissipation in the context of OQS is introduced into the system by the additional contribution of the Lindbladian operator in the time evolution equation of the reduced subsytem density matrix. The second term in the Gorini Kossakowski Sudarshan Lindblad Master (GSKL) equation is actually characterised as the Lindbladian or Quantum Dissipator which in our present context can be written as:
where \(\rho _\mathbf{System }\) is the reduced subsystem density matrix of the two entangled atomic system obtained after partially tracing over the external bath scalar field degrees of freedom. The coefficient matrix \(C_{ij}^{\alpha \beta }\) is known as the Gorini Kossakowski Sudarshan Lindblad (GSKL) matrix, which is constructed under the weak coupling limiting approximation on the coupling parameter \(\mu \) as appeared in the interaction Hamiltonian. In the context of OQS, the Lindbladian captures the effect of dissipation.
In the transformed basis, the Lindbladian can be re-expressed as:
The matrix GSKL matrix \(C_{ij}^{\alpha \beta }\) is given by the following expression:
where the quantities \({\tilde{A}}^{\alpha \beta }\) and \({\tilde{B}}^{\alpha \beta }\) for the two atomic system is defined as:
The components of \(C_{ij}^{\alpha \beta }\) matrix are given in the Appendix B.
6 Time evolution of the reduced subsystem density matrix
The density matrices for Atom 1 and Atom 2 are given by following expressions in the Bloch sphere representation:
Since the two atoms are initially not entangled, the density matrix for the system can be written as the direct product of the two individual density matrices i.e.
Note that in the above equation the identity matrix is denoted by \(\sigma _0\). Now we define:
Using these definitions the density matrix \(\rho _\mathbf{System }(\tau )\) for the reduced subsystem can be re-expressed as:
In the new transformed basis i.e in terms of \(\sigma _+\), \(\sigma _-\) and \(\sigma _3\) basis \(\rho _\mathbf{System }(\tau )\) can be written as:
In this new basis the reduced subsystem density matrix, in terms of the Bloch vectors can be explicitly written as:
where the Hermiticity and \(\mathrm{Tr}(\rho _\mathbf{System }(\tau ) )=1\) property of the density matrix has been used to find the matrix elements explicitly.
6.1 Large scale time dependent solution
Solving the master equation in the new basis i.e. \(\sigma _+\), \(\sigma _-\) and \(\sigma _3\) basis in the large time limit (\(\tau =\infty \)) we get the following solution for the components of the density matrix as given by:
where all other Bloch vector components are zero.
We can get the large time reduced density matrix from the above solution, which can be expressed as
The large time behaviour basically demonstrates the equilibrium behaviour of the system. Hence the solution of the Bloch vectors obtained in the large time scale is applicable in any basis. These solutions can therefore be used as the boundary conditions for obtaining the finite time solution of the density matrix. Writing the density matrix in terms of the solutions of the Bloch vectors as,
On the other hand, from quantum statistical mechanics one can compute the expression for the density matrix at finite temperature and large time limit, which is given by the following expression:
Comparing Eq (6.12) and Eq (6.13), we obtain the following result:
which physically represents the equilibrium temperature of the thermal bath at large time scale.
In ref. [28] we have explicitly shown that the temperature of the thermal bath can be computed in terms of the Gibbons Hawking temperature and Unruh temperature, which can be expressed as [49]:
Here Gibbons Hawking and Unruh temperature is defined in the present context as:
Now, we know that in static patch of the de Sitter space [35, 36] the curvature is determined by the following expression for the Ricci scalar:
Consequently, the equilibrium temperature of the thermal bath can be re-expressed in terms of the curvature of the static patch of the de Sitter space as:
Similarly, the Gibbons Hawking and Unruh temperature can be re-expressed in terms of the curvature of the static patch of the de Sitter space as:
In this context, one can consider the following limiting situations:
- 1.
Flat space limit:
Flat space limit is characterised by the following condition:
$$\begin{aligned}&R\rightarrow 0,\Longrightarrow \alpha \rightarrow \infty ,\Longrightarrow T_\mathbf{GH }, \nonumber \\&T_\mathbf{Unruh }\rightarrow 0,\Longrightarrow T\rightarrow 0,\Longrightarrow k\rightarrow \infty \Longrightarrow k>>L.\nonumber \\ \end{aligned}$$(6.20)Here L represents the Euclidean distance between the two atoms. In this case, we will get back the result obtained in the Minkowski flat space inertial case where \(k>>L\).
- 2.
Zero acceleration limit:
The zero acceleration limit is characterised by the following condition:
$$\begin{aligned}&a\rightarrow 0,\Longrightarrow r\rightarrow 0,\Longrightarrow T_\mathbf{GH }\ne 0, \nonumber \\&T_\mathbf{Unruh }\rightarrow 0,\Longrightarrow T\rightarrow T_\mathbf{GH },\Longrightarrow k<<L. \end{aligned}$$(6.21)In this case, we will get back the result obtained in the limiting case where \(k<<L\).
6.2 Arbitrary time dependent general solution
To obtain the finite time solution of the Bloch vector components, we use the \(\sigma _+\), \(\sigma _-\) and \(\sigma _3\) basis. Substituting the components of the density matrix in the GSKL master equation, in this new basis, we obtain the evolution equations for the Bloch vector components.
We try to solve the evolution equations analytically in the limit \(2 \pi k \omega \gg 1\),along with an additional condition on the natural frequency of the two identical atoms i.e restricting \(\omega _o\) to take values such that \(\coth (\pi k \omega _o)\)=0. The first condition ensures that the factor \(\left( 1-e^{-2 \pi k \omega }\right) ^{-1}\) appearing in \({\tilde{A}}^{\alpha \beta }\) and \({\tilde{B}}^{\alpha \beta }\) term of the GSKL matrix \(C_{ij}^{\alpha \beta }\) reduces to unity. Substituting the components \(H_{ij}^{\alpha \beta }\) and \(C_{ij}^{\alpha \beta }\) (calculated in Appendix B and C ) in the evolution equations we obtain the following simplified equations .
where in the above sets of equations the following notations have been used, which are also calculated in Appendix C:
Solving the Eq. (6.23) we obtain the finite time dependent solution of the Bloch vector components:
where \(\ C_i~~ \forall i=1,6\) are arbitrary constants.
In the above sets of equations \(f_1(\omega )\), \(f_2(\omega )\), \(f_3(\omega )\) can explicitly be written as:
The functions \(\Delta _1(\omega )\),\(\Delta _2(\omega )\) and \(\Delta _3(\omega )\) appearing in the \(f_1(\omega )\),\(f_2(\omega )\) and \(f_3(\omega )\) are explicitly written in the following equations.
where we have denoted the following symbols:
and we define again a new function, \({{\mathcal {Z}}} (b_1,b_2) = \left( b_2+\sqrt{4b_1^3+b_2^2}\right) ^{1/3}\). The above equation shows that the function \(\Delta _1(\omega )\) is real, whereas \(\Delta _2(\omega )\) and \(\Delta _3(\omega )\) are complex. The arbitrary constants are determined using the equilibrium behaviour as the boundary conditions which are already mentioned in Eq. 6.10. From the appearance it might seem that the function \(e^{f_l(\omega )}\) diverges as \(\tau \) tends to infinity but it can be explicitly shown that the function \(f_{l}(\omega )(l=1,2,3) <0\), taking into account the leading order term in \(\Delta \), which is a decaying function. Hence the function, \(e^{f_l(\omega ) \tau }\) tends to a finite value, which we denote by \(f_l(\omega )\tau '\).
The physically acceptable solutions to the simplified evolution equations obeying the boundary conditions are given by the following expressions:
where the explicit functional forms of \(g_i(\omega )~\forall i=1,\cdots , 6\) are given below and the constant \(C_4\) is zero which is consistent with the given boundary condition.
The arbitrary constants obtained after using the late time behaviour as the initial conditions are explicitly defined by the following expressions:Footnote 5
where in writing the function \(g_1(\omega )\) we have introduced the following symbols:
Using these solution the variation of the Bloch vector components with respect to various parameters are plotted in Figs. 3, 4, 5 and 6.
7 Entanglement measures
Using these solution our next objective is to compute various entanglement measures from the present OQS set up.
7.1 Von Neumann entanglement entropy
In the context of quantum statistical mechanics and quantum information theory, Von Neumann entropy plays the role of extended version of classical Gibbs entropy. It actually measures the amount of quantum entanglement for a subsystem or reduced system of a bipartite quantum system.
In the present context, for the two atomic subsystem, which we have obtained after partially tracing over the bath degrees of freedom the Von Neumann entanglement entropy is defined in terms of the reduced density matrix (\(\rho _\mathbf{System }\)) as:
- 1.
It is expected from our present OQS set up that the measure of Von Neumann entanglement entropy is non zero because our subsystem, which we have obtained by partially tracing over bath degrees of freedom, is described by mixed states. Conversely, if a subsystem is to be characterised by pure quantum mechanical states , the entanglement measure is zero. Since in our set up we are dealing with pure quantum mechanical states initially due to the initial uncorrelation between the system and the environment, we get zero entanglement measure from our computation. But during time evolution of the subsystem it becomes more correlated and consequently pure state transforms to a mixed state, for which we get a saturation but non-zero value of the Von Neumann entanglement entropy.
- 2.
The Von Neumann entanglement measure for the reduced subsystem can be expressed as a sum of the contributions from the two independent and identical atoms.
$$\begin{aligned} S(\rho _\mathbf{System }) = S(\rho _1 \otimes \rho _2) = S(\rho _1)+S(\rho _2) \end{aligned}$$(7.2) - 3.
Additionally, it is important to note that, the Von Neumann entanglement measure is not the only reasonable measure of quantum entanglement. In the later sections we will consider other quantum entanglement measures, which are commonly used in the context of quantum information theory.
In the context of two entangled atoms relevant to our OQS it can be seen from the solution of the Bloch vector components that \(\mathrm {a_{03}}(\tau )\) and \(\mathrm {a_{30}}(\tau )\) has the same form i.e. \(a_{03}(\tau )=a_{30}(\tau )\). So in that case the Von Neumann entropy can be written as:
where we have introduced two new functions, \({\widetilde{\beta }}\) and \({\widetilde{\gamma }}\), which are defined as:
Here all of these time dependent coefficients \(a_{03}(\tau )\), \(a_{-+}(\tau )\), \(a_{+-}(\tau )\), \(a_{--}(\tau )\), \(a_{++}(\tau )\) and \(a_{33}(\tau )\) have explicitly been computed for the two atomic OQS in the previous section.
To physically analyse this result we have plotted the behaviour of the Von Neumann entropy from the present two atomic OQS set up with respect to different useful parameters present in the theory. However, as we will see later that almost all the netanglement measures give plots of similar nature. Hence, the discussions related to all the plots are given afterwards in a separate Sect. 9.
7.2 R\(e^{'}\)nyi entropy
R\(e^{'}\)nyi entropy is a generalisation of various information theoretic measure which quantify randomness of a quantum mechanical system. The R\(e^{'}\)nyi entropy can be expressed in terms of Hartley function as:
where q is known as the R\(e'\)nyi Index.
In the case of our two atomic OQS set up, we found from the structure of the solution that \(a_{03}\)=\(a_{30}\). Hence the expression for the R\(e'\)nyi entropy reduces to the following simplified form:
where the symbols used has already been defined in the previous section. It can be very easily verified that in this context relevant to our OQS the R\(e'\)nyi entropy reduces to the Von Neumann entropy in the limit q \(\rightarrow 1\).
7.3 Logarithmic negativity
Let us start with Peres–Horodeski criterion which is the necessary condition for the joint density matrix of two quantum mechanical system A and B to be separable. This is sometimes called Positive Partial Transpose (PPT) criterion. This is mainly used to decide the separability of mixed states, where Schmidt decomposition does not apply. Using this criteria one can defineLogarithmic Negativity as:
where, \(||\rho ^T_A||\) is the trace norm and is defined as:
Then the logarithmic negativity can be recast as:
If we fix \(N=0\) then it represents no entanglement in the quantum system. For this non entangled case one can write the system density matrix as:
where we define the sub system density matrix as:
For \(N\ne 0\) which represents the entangled case the system density matrix can be expressed as:
So from this computation if we get negative eigen values for a quantum mechanical system then we can say that the corresponding quantum states are entangled.
For the case of two entangled atoms, using the solutions of the bloch vector components, the logarithmic negativity is given by
7.4 Entanglement of formation and concurrence
Both of the measures studied in earlier sections are used to quantify the resources needed to create a given entangled state. Each of them are used as an entanglement measure for bipartite quantum state in quantum information theory. The entanglement of formation for pure and mixed states takes the following form:
For mixed states the infimum is taken over all possible decompositions of the density matrix \(\rho \) into pure states. The quantities used in the above equation are defined below:
Relation between entanglement of formation and Concurrence can be written as:
where h(x) is known as the Binary Entropy function which is defined as:
Here we study about concurrence in the context of two entangled atoms from the perspective of OQS. For X type states it is defined analytically by the following expression:
where the \(\lambda _i\)’s are the square roots of the eigenvalues of the matrix:
where \({\tilde{\rho }}_\mathbf{System }\) is the spin flip (Werner type) quantum states [48] given byFootnote 6:
and \(\rho ^*_\mathbf{System }\) in the above expression indicates complex conjugate of \(\rho _\mathbf{System }\).
The eigenvalues \(\lambda \)’s follow the following sequence:
For the case of two entangled atoms relevant to our system the solutions of the Bloch vector components \({ a_{30}}\) and \({ a_{03}}\) obtained are identical. Thus the eigenvalues \(\lambda _1\), \(\lambda _2\), \(\lambda _3\) and \(\lambda _4\) are given by the following expressions:
where we define \({{\mathcal {S}}}\), \({{\mathcal {X}}}\), \({{\mathcal {F}}}\) and \({{\mathcal {U}}}\) as:
Therefore, using Eq. 7.19 the concurrence for two entangled atoms relevant to our system can be calculated as:
The explicit expression for the entanglement of formation for our system the is given by the following expression:
The following section shows various plots of entanglement of formation calculated from concurrence of our model.
7.5 Quantum discord
It is a measure of non classical correlation between two subsystems of a quantum system. It includes correlations that are due to quantum physical effects, but do not necessarily involve the concept of quantum entanglement. Sometimes it is also identified as measure of quantumness of correlation functions. If the two quantum states are separable then it does not imply that the quantum correlations exist between them. It is defined as
where mutual information \({\mathcal {I}}(\rho _\mathbf{System })\) is defined as:
where \(S(\rho _A)\), \(S(\rho _B)\) and \(S(\rho _\mathbf{System })\) represent the Von Neumann entropy of system A (Atom 1), \(B (\mathbf{Atom~2})\) and the combined system respectively. On the other hand, the part of the correlation that can be attributed to the classical correlation, which is represented by, \(_{\Pi _j^A}{\mathcal {T}}_{\Pi _j^A}(\rho _\mathbf{System })\), is defined as:
Now we know that for any two qubit state the density matrix is given by the following expression:
Then the geometric measure of quantum discord is evaluated as:
where a is the column vector, which is defined as, \(a=(a_1+a_2+a_3)^t\). Here the superscript t stands for the transpose of the vectors or matrices, the trace norm square is defined as:\(||a||^2=\sum _i a_i^2\) and \(T=(t_{ij})\) is a matrix which one can compute for a specific quantum system and \(\lambda _{max}\) is the largest eigenvalue of the matrix \((aa^t+TT^t)\). The matrix T and the column vector relevant to our system are given by:
Using the above definition, the square of the norm of the matrix T (The norm of any matrix M is given by: ||M||=\(\sqrt{\mathrm{Tr}(M^\dagger M)}\)) and the column vector a relevant to the system studied is given by:
The matrix \((\mathrm {aa^t+TT^t})\) then becomes
with eigenvalues
where \({{\mathcal {P}}}\) and \({{\mathcal {Q}}}\) are
It has already been mentioned in the earlier sections that the solution of the Bloch vector components \(a_{30}\) and \(a_{03}\) are identical.
Thus the quantum discord for the two entangled atoms relevant to our system calculated using Eq. 7.32 is therefore given by the following expression:
where the symbols \({\mathcal {Q}}\) and \({\mathcal {W}}\) are given as follows:
For a given set of parameters the maximum eigenvalue is calculated and the following set of plots is obtained by varying various parameters appearing in our model.
In Fig. 17a, we have explicitly shown the behaviour of quantum discord of our two atomic OQS set up in static patch of de Sitter space with respect to rescaled time T. We have normalized the values with the result obtained from \(T=10000\) to properly interpret the obtained result from our model. We consider both small and large time scale limiting situations in this context. It is clearly observed that initially the value of quantum discord is almost zero implying that our two atomic OQS set up do not show any signature of quantum correlations. As time goes on, the sub-system gets more and more quantum mechanically correlated and at a very late time scale, it almost saturates to unity, which implies the maximum measure one can obtain from our model to get quantum correlation. Now as we have passed the test for Von Neumann entropy for our model i.e. that this measure is non-zero then one can surely say that non-zero value of quantum discord and Von Neumann entropy together imply the existence of quantum entanglement in the context of our present model of discussion.
In Fig. 17b, we have shown the behaviour of quantum discord with respect to frequency \(\omega \) by keeping all other parameters of the model fixed. We have normalized the values with the result obtained from \(\omega =5\times 10^{-2}\). For better understanding the underlying physics we consider both small and large frequency scale limiting situations. It is clearly observed that initially for a finite frequency scale, the value of quantum discord is almost constant showing maximum measure of quantum correlations obtained from quantum discord. From this figure it is easily observed that, as frequency is further increased the obtained measure of quantum discord decreases for our system implying reduction in quantum correlations and when it gets close to \(\omega _0\) the value of quantum discord is almost approximately zero indicating no quantum correlation in our system.
In Fig. 17c, we have shown the behaviour of quantum discord with respect to the Euclidean distance L. Again like previous plots, we have normalized the values with the result obtained from \(L=10^4\) to explain the underlying physics from this system. We consider both small and large length scale limiting situations. It is observed that initially there is some fluctuation with increase in quantum discord for small length scale. But as the Euclidean distance between the two atoms increase, the subsystem becomes quantum correlated to a maximum saturated value. With further increase in Euclidean distance between the two atoms, there is no change in value implying that the quantum correlation between the atoms in our OQS set up reaches its maximum value.
Last but not the least, in Fig. 17d, we have shown the behaviour of quantum discord with respect to the parameter k, which is basically proportional to the curvature scalar or the Ricci scalar of the static patch of de Sitter space. Like previous plots here also we have normalized the obtained value of quantum discord with the result obtained from \(k=10^4\). Similarly like previously mentioned all the plots we consider both small and large values of the k scale limiting situations to interpret the obtained result from our OQS set up. It is clearly observed that initially there are fluctuations in quantum spectrum discord with increase in the parameter k. With further increase in the value of k, the value remains constant implying no change in quantum correlations which reaches its accessible stable very small value. This further implies that the effect of quantum correlation is extremely small for the large value of the parameter k.
8 Non locality from bell CHSH inequality in de Sitter space
The authors have studied Bell violation in Quantum Mechanics and Primordial cosmology in their earlier papers [49,50,51,52,53]. Here, in analogy to those, we generalise to the Bell violation in dS spacetime.
To establish the concept of non-locality in de Sitter space let us start with a quantum mechanical Bell CHSH operator, which can be defined in the following form:
where \(\mathbf{a},\mathbf{b},\mathbf{a'}\) and \(\mathbf{b'}\) are real unit vectors which play significant role to establish non-locality in the present context.
Now the Bell CHSH inequality states that,Footnote 7 \(|\langle B_\mathbf{CHSH }\rangle | \le 2\). To establish the non-locality we necessarily have to violate CHSH inequality in de Sitter spacetime, which is of course not a trivial task to do. The main problem in de Sitter space to generate the effect of long range quantum correlation at late time scale from a non-local Bell’s inequality violating set up. However, in Refs. [49,50,51,52,53] we and other authors have explicitly shown that in case of axion one can construct such a Bell’s inequality violating set up, where the axion effective potential is generated from string theory. In the present set up instead of choosing axion as a Bell’s inequality violating candidate to establish non-locality in quantum mechanics we establish this in a more general and model independent way. We use the density matrix formalism from quantum statistical mechanics where the general density matrix for a quantum system can be parametrized as:
where \(\mathbf{a}\), \(\mathbf{b}\) and \(c_{jk}\) all are in general time dependent quantities which can be explicitly obtained by solving the GSKL master equation in presence of the effective Hamiltonian and the quantum dissipator Lindbladian operator . Here, the vectors \(\mathbf{a}\) and \(\mathbf{b}\) are given by the following general representation in terms of the elements of the density matrix:
and the \(c_{jk}\) matrix takes the form
In the context of OQS described by the two entangled atoms the vectors a and b are given by the simplified form, \(\mathbf{a}=(0,0,a_{30})\), \(\mathbf{b}=(0,0,a_{03}),\) and the coefficient matrix \(c_{jk}\) can be written as:
Now, Bell CHSH inequality is violated in OQS if and only if when the sum of the two largest eigenvalues of the following matrix satisfy the following constraint condition, \(c~ c^\dagger >1\), where the eigenvalues are:
For the initial separable state \(\rho _0=|00\rangle \langle 00|\), we cannot expect these eigenvalues to exceed unity after evolution because only non-zero component of the initial state is \(\rho _{44}=1\). However, the Bell CHSH inequality provides only a necessary condition for the LHV (local hidden variable) description and does not guarantee existence of an LHV. For this reason we need to pass each detector through a local filter, which transforms the matrix c and \(\rho \) in the following form.
where the two local filters \(f_A\) and \(f_B\) are described by the following square matrix:
The matrices \(\rho '\) and \(c'\) can be represented as
The eigenvalues of the new matrix \(c'(c')^{\dagger }\) are appended below:
Now, to implement the violation of the Bell-CHSH inequality in de Sitter we follow the following steps:
- 1.
Step 1:
After passing through the local filter in the new basis we have to satisfy the following necessary constraint condition:
$$ c'(c')^{\dagger }>1 $$ - 2.
Step 2:
The above condition directly implies the following inequality:
$$ 0>\eta ^4-\frac{(\rho _{23} + |\rho _{14}|)^2}{\rho _{44} (\rho _{22}+\rho _{33})}\eta ^2 + \frac{\rho _{11}}{\rho _{44}} $$where each of the quantities is appearing previously in the density matrix after passing through local filter.
- 3.
Step 3:
The above inequality can further be simplified to
$$ (\rho _{23}+|\rho _{14}|)^4> 4\rho _{11}\rho _{44}(\rho _{22}+\rho _{33})^2 $$ - 4.
Step 4:
For real parameter \(\eta \), if we substitute the entries of the local filter transformed density matrix in terms of the time dependent Bloch coefficients in the \((+,-,3)\) transformed basis, then the above inequality becomes:
$$ (a_{+-}+|a_{--}|)^4 >(1-a_{33})^2[(1+a_{33})^2-(a_{03}+a_{30})^2] $$ - 5.
Step 5:
Now, our job is to explicitly verify this inequality for our open quantum system described by two entangled atoms. To serve this purpose we plot the following functions:
$$\begin{aligned} {{\mathcal {J}}}_1(t)= & {} (a_{+-}(t)+|a_{--}(t)|)^4 \end{aligned}$$(8.12)$$\begin{aligned} {\mathcal {J}}_2(t)= & {} (1-a_{33}(t))^2 \nonumber \\&[(1+a_{33}(t))^2-(a_{03}(t)+a_{30}(t))^2] \end{aligned}$$(8.13)separately. In the plot we represent \({{\mathcal {J}}}_1(t)\) and \({\mathcal {J}}_2(t)\) with green and red color.
The plots shows the behaviour of the two functions appearing on either sides of the Bell’s inequality. The above plots clearly shows that the function represented by green colour is always greater than that of red colour i.e the condition \( {{\mathcal {J}}}_1(t)>{{\mathcal {J}}}_2(t) \) is always satisfied irrespective of the parameter chosen to test the inequality. This establishes Bell-CHSH inequality violation and non locality in De-Sitter Space with the present two atomic OQS setup.
9 General discussion
As seen above, all the entanglement measures give almost similar behaviour with respect to different parameters. In this section we will analyze those plots together.
In Figs. 7a, 8a, 9a, 10a, 11, 12a, 13, 14, 15a, 16a we have plotted different entanglement measures of our two atomic OQS set up in the static patch of de-Sitter space with respect to Time (T) keeping all other parameters fixed. Here T is defined as the time difference, \(T=\tau -\tau ^{'}\), which is very useful for further analysis. Here \(\tau \) is the usual time scale and \(\tau ^{'}\) is the time scale where the equilibrium boundary condition is imposed. These plots have been normalized with \(T=10^4\). It is clearly observed that initially the value of normalized measure is almost zero implying that our two atomic OQS set up do not show any signature of quantum entanglement. This is consistent with our assumption that initially there is no correlation and the quantum states being represented by pure states only. As time goes on, the sub-system gets more and more entangled due to more correlation and at a late time scale, it saturates to unity, the maximum value of the measure. The late time scale behaviour is also consistent with the prediction from the present system i.e. as time goes on the system is represented by mixed quantum states due to getting more quantum correlation.
In Figs. 7b, 8b, 9b, 10b, 12b, 15b, 16b we have plotted different entanglement measures with respect to frequency(\(\omega \)). These plots have been normalized with \(\omega =5\times 10^{-2}\). It is can be seen that initially for a finite frequency scale, the value of the measures are almost constant showing entanglement due to the appearance of mixed quantum states. As frequency is further increased the value of the measures decrease implying reduction in entanglement and when it gets close to \(\omega _0\) the value of entropy is almost zero indicating that the joint density matrix of our subsystem becomes separable (Figs. 17, 18).
In Figs. 7c, 8c, 9c, 10c, 12c, 15c, 16c we have plotted different entanglement measures with respect to Euclidean distance(L). These plots have been normalized with \({ L}=5000\). It is clearly observed that initially there are some fluctuations with increase in entropy for small length scale. The maximum value of the fluctuation implies the maximum value of the entangled entropy one can obtain once we want to analyse the behaviour with respect to the Euclidean distance L. This is because at small L value the quantum states are dominated by pure states and there is no corresponding quantum correlation. But as the distance between the two atoms increases, the subsystem gets entangled to a maximum value close to 1. With further increase in distance, there is no change in entropy implying that the correlation between the atoms in our OQS set up is maximum and the corresponding quantum state is dominated by mostly mixed states. It can be observed that the measures increase with increase in the distance between the two atoms, indicating rise in entanglement with rise in L. As the distance between the two atoms increases, the subsystem gets entangled to a maximum value.
In Figs. 7d, 8d, 9d, 10d, 12d, 15d, 16d we have plotted different entanglement measures with respect to the parameter k. These plots have been normalized with \(k=5\times 10^4\). We know that the curvature of static patch of the de Sitter space can be expressed in terms of the parameter k as:
which implies we actually have considered both flat and static de Sitter space by varying the parameter k. It is clearly observed that initially there are fluctuations in entanglement measures with increase in the value of k. However, the maximum value the fluctuation implies the maximum value of the entangled entropy one can obtain once we want to analyse the behaviour with respect to the parameter k. This is because at small k or non-zero effect of curvature value the quantum states are dominated by mixed states and the corresponding quantum correlation is non zero. With further increase in the value of the parameter k, the entanglement measures remain constant and very very small implying almost getting no quantum correlation and described by the pure quantum states for the large values of k, which corresponds to the flat space time situation.
In Table 1 a comparative study of different entanglement measure is done for our two atomic OQS setup. Various entanglement measures calculated in this context are compared taking into account various parameters like rescaled time, Frequency, Euclidean distance, Inverse curvature. The best entanglement measure is found after studying the entanglement with respect to the respective parameter in the entire chosen range and then the conclusion is given. In Table 2 a comparative study of the one atomic and two atomic systems are done and the main highlighting differences have been noted. The reduced subsystem density matrix shows entanglement between the two atoms constituting the system whereas the one atomic subsystem in not entangled. It is also noted that for the case of one atomic case, the equilibrium temperature of the bath is exactly equal to the Gibbons Hawking temperature whereas for the two atomic case the equilibrium temperature is written in terms of Gibbons Hawking and Unruh temperature. Due to this difference in temperature, the curvature of the background spacetime appears to be different for the two atomic cases. The Wightman function has only one component (\(G_{11}\)) for the one atomic case as the correlation function is independent of the position of the atom, but for the two atomic case the Wightman function has four components given by \(G_{11}\), \(G_{12}\), \(G_{21}\) and \(G_{22}\) corresponding to the dependence of the bath correlation functions on the position of the atoms. Entanglement measure observed (if any) in case of one atomic system is mainly due to its interactions with the bath whereas for the two atomic case significant amount of entanglement measures are observed due to their mutual entanglement besides interaction with the bath.
10 Conclusion
To summarize, in this work, we have addressed the following issues to study the quantum entanglement phenomenon from two entangled atomic OQS set up:
To begin with, we have started our discussion with two entangled atomic OQS set up. In this framework, the two entangled atoms mimic the role of Unruh-De-Witt detectors, conformally coupled to a thermal bath which is modelled by a massless scalar field in this specific problem. Apart from that, within this OQS set up, a non adiabatic Resonant Casimir Polder Interaction(RCPI) takes place between the Unruh-De-Witt detectors and the thermal bath. Most importantly this interaction is effected by the background De-Sitter space time in which the probe massless scalar field is fluctuating.
Since we are only interested in the dynamics of the reduced two entangled atomic subsystem, we partially trace over the probe massless scalar field or thermal bath degrees of freedom. Consequently, without solving the total(system+bath+interaction) quantum liouville equation for the total density matrix, we actually solve the Gorini-Kossakowski-Sudarshan-Lindblad equation (Master equation) to explicitly know about the time evolution of the reduced subsystem density matrix. However, solving GSKL master equation with proper initial condition is an extremely complicated task, as it involves two non trivial components in the equation of motion. These are the effective Hamiltonian and Quantum dissipator or Lindbladian operator. Due to the complicated structure of both of them it is obvious that the analytical solution of the GSKL master equation is not possible for all type of OQS setup. For our two atomic entangled OQS setup, we represent the density matrix corresponding to each of the atom through bloch sphere representation. However, the reduced subsystem density matrix, which can be constructed by taking the tensor product of two atomic density matrices, cannot be parametrized by a bloch sphere. Instead of that we found the reduced subsystem density matrix is actually parametrized by three time dependent coefficients \(a_{0i}(\tau ), a_{i0}(\tau )\) and \(a_{ij}(\tau )\) \(\forall i,j=1,2,3\). this implies that solving GSKL master equation for the present OQS set up is actually determining the time dependent behaviour of the above mentioned coefficients. We found that this leads to huge number of coupled differential equations of all these time dependent coefficients, which are not analytically solvable for given appropriate initial condition. To solve this problem next we transformed the basis from \(\left\{ 1,2,3 \right\} \) to \(\left\{ +,-,3\right\} \). In this new basis, we get simplified form of the linear differential equation which are less in number compared to the previous case. Also using the large time equilibrium behaviour of the reduced density matrix, which plays the role of initial condition in our problem, we have found the explicit analytical solution of \( a_{ij} \ \forall \ \ i,j= +,-,3 \).
Using the analytical density matrix of the reduced subsystem, we further computed various measures of quantum entanglement viz. Von Neumann entropy, R\({e'}\)nyi entropy, Logarithmic negativity, Quantum discord, Entanglement of formation and Concurrence, which are commonly used in the context of quantum information theory these days. From the time dependent behaviour of all the measure of quantum entanglement we have found out almost the similar behaviour which states that for initial time \(t=0\), the measure of quantum entanglement is 0 and as time goes on the subsystem gets more entangled and after a certain time it increases very slowly i.e. it almost saturates. Apart from these as we have obtained the similar feature both in the case of Von Neumann entropy and in the case of Quantum discord, this imply existence of long range quantum correlation at the late time scale, satisfying the necessary and sufficient condition for quantum entanglement. Similarly we have obtained the time dependent feature of logarithmic negativity, entanglement of formation and concurrence which strongly imply that at initial time \(t=0\) our two atomic OQS setup do not show any signature of quantum entanglement as in all the cases the quantum measure is zero. As time goes on we have found out all of these measures significantly increase and at very late time scale it almost saturates. This is obviously a significant finding of our two atomic entangled OQS setup from which one can extract the existence of long range quantum correlation in late time scale, which is a very common topic of study in the context of quantum information theory.
Last but not the least we have studied Bell-CHSH inequalityFootnote 8 violation from our present setup in de-Sitter space. Though these kind of violation of Bell-CHSH inequality in de-Sitter space is not very trivial. Most importantly, without introducing any axion in a more model independent way we have established the violation of Bell-CHSH inequality in de-sitter space, which is the necessary ingredient to study the non local effect in correlations in quantum mechanics.
The future prospects of this work is as follows.
In this work, we have restricted our subsystem which is made up of two entangled atoms. One can further generalize the same problem with arbitrary number of atoms within the framework of OQS.
In this work, we did our computation in the background static De-Sitter metric. However this framework can be implemented in any curved spacetime metric. One can even carry forward the calculations in other patches of De-Sitter space like the global and inflationary (planer) patch. It is expected to get significant modifications in the cosmological correlation functions. Within the framework of OQS and particularly for inflationary patch [54,55,56,57,58,59] of the De-Sitter space, one can exactly compare these results with the known cosmological correlation functions computed within the framework of closed quantum system. Such comparative analysis between the obtained cosmological correlation functions obtained from OQS and CQS will help us to know about the correct quantum mechanical picture of early universe cosmology. Additionally, by comparing this result with the data obtained from the observational probe for the early universe cosmology one may further rule out one of the possible quantum pictures mentioned here.
For our work, we have computed the signature of quantum entanglement from various quantum information theoretic measures. However, we have not done the calculation for all possible measures. For completeness and also to conclude about the existence of long range quantum correlations at the late time scale one can further compute squashed entangled entropy [60], entanglement of distillation [61], relative entropy [62] etc. Additionally, one can also compute fisher information from the present OQS set up to know about the difference between the results obtained in the classical and quantum limiting situations.
This kind of study can be also be used in parameter estimation theory and quantum metrology to estimate various parameters relevant to the theory but cannot be treated as any quantum mechanical observable. [63]
Very recently the phenomena of quantum teleportation has been observed for the first time with qutrit states [64, 65], which is obviously an outstanding finding in the context of quantum information theory. The authors have succeeded in teleporting three-dimensional quantum states for the first time. High-dimensional teleportation could play an important role in future quantum computers. In this direction, our future plan is to study such possibilities from the present OQS set up in de Sitter space.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is completely a theoretical work within the framework of Cosmology and no data have been used for the study, for this reason we have not deposited any data.]
Notes
This simple choice of the two atomic model, representing a two qubit system is capable of capturing the effect of gravity through the well known phenomenon of Casimir Polder interaction, which is a consequence of the fluctuations of the vacuum state of a quantum field. This Casimir interaction has proven to be an effective mean to display the non local properties of the quantum field correlations to probe the phenomenon of entanglement. The information about gravity or the background curved spacetime can be extracted from this phenomenon due to it’s significant modification by the relativistic motion of the interacting systems in the curved spacetime.
It must be noted carefully that \(\omega \) appearing in the system hamiltonian is not the same as the natural frequency of the atoms, which is actually \(\omega _0\). One can generally understand the significance of the background spacetime in this context. In the flat space limit, the \(\omega \) appearing in the system Hamiltonian will be replaced by just \(\omega _0\) along with some correction factors, whereas for curved spacetime, the \(\omega \) has two major contributions, one coming from \(\omega _{0}\) or the flat space limit result and the other non trivial contribution coming from the Hilbert transformation of the fourier transformed Wightman functions. This non trivial part actually captures the information about the background spacetime.
We fix the natural frequency of the two identical atoms by imposing an additional condition:
$$\begin{aligned} \coth (\pi k \omega _0)=0~~\Longrightarrow ~~\omega _0=\frac{i}{k}\left( n+\frac{1}{2}\right) ~~~\forall ~n\in {\mathbb {Z}} \end{aligned}$$(2.7)We impose this condition to simplify the mathematical form of GSKL matrix which will fix the Quantum dissipator or Lindbladian operator.
Identifying the terms in the obtained solutions coming from the system-system interaction and the system-bath interaction is extremely essential in the study of entanglement dynamics in the context of open quantum systems. It can be seen from the effective Hamiltonian construction that it is the Lamb Shift Hamiltonian which mostly tells about the system-system interaction and the Lindbladian term mostly tells us about the system-bath interaction. The physically relevant solution satisfying the boundary condition contains three prime non zero components given as \(A_1\), \(B_1\) and \(B_2\). The term \(A_1\) appears from the lamb shift hamiltonian coefficient matrix and hence this factor gives the contribution coming from the system system interaction. The terms \(B_1\) and \(B_2\) on the other hand appears in this context from the GSKL master equation, which determines the degree of system bath interaction. This source of origin of various terms appearing in the solutions will prove to be essential to develop an approximate idea about the source of entanglement when various entanglement measures are computed from these obtained solutions. However due to the complicated structure of the solutions it is not possible to quantify or exactly determine the part of the computed entropies coming from the interaction between the atoms and the one coming from interaction with the environment.
Werner State: A Werner state is a \(d \times d\) dimensional bipartite quantum state density matrix that is invariant under all unitary operators of the form (\(U\otimes U\)). That is, it is a bipartite quantum state that satisfies the following condition:
$$\begin{aligned} \rho _{AB}=(U\otimes U)\rho _{AB}(U^\dagger \otimes U^\dagger ,) \end{aligned}$$(7.22)for all unitary operators U acting on d-dimensional Hilbert space.
For local hidden variable (LHV) description of correlation, CHSH inequality holds. Violation of CHSH inequality indicates existence of non-locality.
Bell CHSH inequality in quantum mechanics is the most generalized version of the Bell’s inequality.
A similar computation of the two atomic Wightman function can be done in the flat space limit case. The expressions of the Wightman function in the flat space limit is given by
$$\begin{aligned} G^{11} (x,x')= & {} G^{22} (x,x') = - \frac{1}{4 \pi ^2} \sum _{n=-\infty }^{\infty } \frac{1}{(\Delta \tau - in/T - i\epsilon )^2} \\ G^{12} (x,x')= & {} G^{21} (x,x') = - \frac{1}{4 \pi ^2} \sum _{n=-\infty }^{\infty } \frac{1}{(\Delta \tau - in/T - i\epsilon )^2 - L^2} \end{aligned}$$A computation of the non zero spectroscopic integral kernel using the above written wightman function will give a result proportional to \(\cos (\omega _0L)\) which is exactly what we obtain when we take L\(\ll \)k limit in the spectroscopic integral kernel computed from Wightman functions of the curved de Sitter spacetime. [16, 28, 66]
To simplify the solutions we have considered this assumption. However, the similar kind of feature one can get in the sub horizon time scale in de Sitter space itself. Particularly in sub horizon scale one can neglect the contribution for the mode momentum which is appearing in the frequency of the fluctuating modes and for de Sitter inflationary patch of the metric one can explicitly show that \(\omega \) is imaginary and controlled by conformal time scale. In our case the parameter \(k=\sqrt{\frac{3}{\Lambda }-r^2}>0\) as for de Sitter space the cosmological constant \(\Lambda >0\). This implies that in our case we get imaginary frequency if we respect this specific constraint condition and it is physically justifiable.
In the limit, \(\omega _c<<\omega _0\) we can approximate the Taylor series expansion of the following function as:
$$\begin{aligned} \tanh ^{-1}\left( \frac{\omega _c}{\omega _0}\right) = \left( \frac{\omega _c}{\omega _0}\right) +\frac{1}{3} \left( \frac{\omega _c}{\omega _0}\right) ^3+\cdots \approx \left( \frac{\omega _c}{\omega _0}\right)<<1. \end{aligned}$$(D.8)
References
Daniel A.L., Lecture Notes on the Theory of Open Quantum Systems. arXiv:1902.00967
S. Choudhury, The Cosmological OTOC: formulating new cosmological micro-canonical correlation functions for random chaotic fluctuations in Out-of-Equilibrium Quantum Statistical Field Theory. arXiv:2005.11750 [hep-th]
K. Y. Bhagat, B. Bose, S. Choudhury, S. Chowdhury, R. N. Das, S. G.Dastider, N. Gupta, A. Maji, G. D. Pasquino, S. Paul, TheGeneralized OTOC from Supersymmetric Quantum Mechanics: Study ofRandom Fluctuations from Eigenstate Representation of CorrelationFunctions. arXiv:2008.03280 [hep-th]
S. Banerjee, V. Ravishankar, R. Srikanth, Dynamics of entanglement in two-qubit open quantum system interacting with a squeezed thermal bath via dissipative interaction. Ann. Phys. (NY). 325, 816 (2010). arXiv:0901.0404
R. Horodecki, P. Horodecki, M. Horodecki, K. Horodecki, Quantum entanglement. Rev. Mod. Phys. 81, 865 (2009). arXiv:quant-ph/0702225
C.H. Bennett, G. Brassard, C. Crepeau, R. Jozsa, A. Peres, W.K. Wootters, Teleporting an unknown quantum state via dual classical and Einstein–Podolsky–Rosen channels. Phys. Rev. Lett. 70, 1895 (1993)
S. Sazim, S. Adhikari, S. Banerjee, T. Pramanik, Quantification of entanglement of teleportation in arbitrary dimensions. Quant. Inf. Process. 13, 863 (2014). arXiv:1208.4200
S.J. Devitt, K. Nemoto, W.J. Munro, Quantum error correction for beginners. Rep. Prog. Phys. 76, 076001 (2013)
S. Omkar, R. Srikanth, S. Banerjee, Characterization of quantum dynamics using quantum error correction. Phys. Rev. A 91, 012324 (2015). arXiv:1405.0964
L. Pezze, A. Smerzi, Entanglement, nonlinear dynamics, and the Heisenberg limit. Phys. Rev. Lett. 102, 100401 (2009)
F. Jensen, Introduction to Computational Chemistry (Wiley, Amsterdam, 2007)
Mohan Sarovar, Akihito Ishizaki, Graham R. Fleming, K. Birgitta Whaley, Quantum entanglement in photosynthetic light harvesting complexes. arXiv:0905.3787
C. Marletto, D.M. Coles, T. Farrow, V. Vedral, Entanglement between living bacteria and quantized light witnessed by Rabi splitting. J. Phys. Commun
M.A. Nielsen, I.L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2000)
Z. Huang, Z. Tian, Dynamics of quantum entanglement in de Sitter spacetime and thermal Minkowski spacetime. Nucl. Phys. B 923, 458 (2017)
Z. Tian, J. Wang, J. Jing, A. Dragan, Detecting the curvature of de Sitter universe with two Entangled atoms. Sci. Rep. 6, 35222 (2016). arXiv:1605.07350 [quant-ph]
J. Hu, H. Yu, Entanglement dynamics for uniformly accelerated two-level atoms. Phys. Rev. A 91(1), 012327 (2015). arXiv:1501.03321 [quant-ph]
H. Yu, Open quantum system approach to Gibbons–Hawking effect of de Sitter space-time. Phys. Rev. Lett. 106, 061101 (2011). arXiv:1101.5235 [gr-qc]
G. Lindblad, On the generators of quantum dynamical semigroups. Commun. Math. Phys. 48, 119 (1976)
V. Gorini, A. Kossakowski, E.C.G. Sudarshan, Completely positive dynamical semigroups of N level systems. J. Math. Phys. 17, 821 (1976)
Ingemar, B., Karol Ż., Geometry of Quantum States: An Introduction to Quantum Entanglement (Cambridge University Press, Cambridge)
Petr, J., Toshihico, A., On observability of Renyi’s entropy. arXiv:cond-mat/0307698
M.B. Plenio, Logarithmic negativity: a full entanglement Monotone that is not convex. Phys. Rev. Lett. 95(9), 090503 (2005). arXiv:quant-ph/0505071
William, K.W., Entanglement of formation and concurrence. J. Quant. Inf. Comput
W.K. Wootters, Entanglement of formation of an arbitrary state of two qubits. Phys. Rev. Lett. 80, 2245 (1998)
Shunlong, L., Fu, S., Geometric measure of quantum discord. Phys. Rev. A 82, 034302
S. Kukita, Y. Nambu, Entanglement dynamics in de Sitter spacetime. Quant. Gravit. 34(23), 235010 (2017). arXiv:1706.09175 [gr-qc]
H. Bohra, S. Choudhury, P. Chauhan, A. Mukherjee, P. Narayan, S. Panda, A. Swain, Relating the curvature of de Sitter Universe to Open Quantum Lamb Shift Spectroscopy. arXiv:1905.07403 [physics.gen-ph]
N. Birrell, P. Davies, Quantum fields in curved space
E. Tagirov, Consequences of field quantization in de Sitter type cosmological models. Ann. Phys. 76, 561–579 (1973)
T.S. Bunch, P.C.W. Davies, P. Roger, Quantum field theory in de Sitter space. Proc. R. Soc. Lond. A360117–134
L.H. Ford, Quantum instability of de Sitter spacetime. Phys. Rev. D Part. Fields 31(4), 710–717 (1985)
E. Mottola, Particle creation in de Sitter Space. Phys. Rev. D 31, 754 (1985)
D. Polarski, The scalar wave equation on static de Sitter and Anti-de Sitter spaces. Class. Quant. Gravit. 6, 893–900 (1989)
E.T. Akhmedov, Lecture notes on interacting quantum fields in de Sitter space. Int. J. Mod. Phys. D 23, 1430001 (2014). arXiv:1309.2557 [hep-th]
M. Spradlin, A. Strominger, A. Volovich, Les Houches lectures on de Sitter space. arXiv:hep-th/0110007
D. Baumann, Inflation. arXiv:0907.5424 [hep-th]
S. Choudhury, CMB from EFT. Universe 5(6), 155 (2019). arXiv:1712.04766 [hep-th]
A. Naskar, S. Choudhury, A. Banerjee, S. Pal, Inflation to structures: EFT all the way. arXiv:1706.08051 [astro-ph.CO]
S. Choudhury, A. Dasgupta, Effective field theory of dark Matter from membrane inflationary paradigm. Phys. Dark Univ. 13, 35 (2016). arXiv:1510.08195 [hep-th]
L. Senatore, Lectures on inflation. arXiv:1609.00716 [hep-th]
I. Chakrabarty, S. Banerjee, N. Siddharth, A study of quantum correlations in open quantum systems. Quant. Inf. Comput. 11, 0541 (2011). arXiv:1006.1856
S. Banerjee, Open Quantum Systems: Dynamics of Nonclassical Evolution, Texts and Readings in Physical Sciences, vol. 20 (Springer, Singapore, 2018). https://doi.org/10.1007/978-981-13-3182-4
R. Kosloff, Quantum thermodynamics. Entropy 15, 2100 (2013). arXiv:1305.2268 [quant-ph]
H.-P. Breuer, F. Petruccione, The Theory of Open Quantum Systems (Oxford University Press, Oxford, 2019). ISBN 978-0-19-921390-0
W. Zhou, H.W. Yu, The Lamb shift in de Sitter spacetime. Phys. Rev. D 82, 124067 (2010). arXiv:1012.4055 [hep-th]
G.W. Gibbons, S.W. Hawking, Cosmological event horizons, thermodynamics, and particle creation. Phys. Rev. D 15, 2738 (1977). https://doi.org/10.1103/PhysRevD.15.2738
R.F. Werner, Quantum states with Einstein–Podolsky–Rosen correlations admitting a hidden-variable model. Phys. Rev. A 40, 4277 (1989)
S. Choudhury, S. Panda, Entangled de Sitter from stringy axionic Bell pair I: an analysis using Bunch–Davies vacuum. Eur. Phys. J. C 78(1), 52 (2018). arXiv:1708.02265 [hep-th]
S. Choudhury, S. Panda, R. Singh, Bell violation in the Sky. Eur. Phys. J. C 77(2), 60 (2017). arXiv:1607.00237 [hep-th]
S. Choudhury, S. Panda, Quantum entanglement in de Sitter space from stringy axion: an analysis using \(\alpha \) vacua. Nucl. Phys. B 943, 114606 (2019). arXiv:1712.08299 [hep-th]
S. Choudhury, S. Panda, Spectrum of cosmological correlation from vacuum fluctuation of stringy axion in entangled de Sitter space. arXiv:1809.02905 [hep-th]
S. Choudhury, S. Panda, R. Singh, Bell violation in primordial cosmology. Universe 3(1), 13 (2017). arXiv:1612.09445 [hep-th]
S. Choudhury, A. Mazumdar, An accurate bound on tensor-to-scalar ratio and the scale of inflation. Nucl. Phys. B 882, 386 (2014). arXiv:1306.4496 [hep-ph]
S. Choudhury, S. Pal, Brane inflation: a field theory approach in background supergravity. J. Phys. Conf. Ser. 405, 012009 (2012). arXiv:1209.5883 [hep-th]
S. Choudhury, S. Pal, Brane inflation in background supergravity. Phys. Rev. D 85, 043529 (2012). arXiv:1102.4206 [hep-th]
S. Choudhury, S. Pal, DBI Galileon inflation in background SUGRA. Nucl. Phys. B 874, 85 (2013). arXiv:1208.4433 [hep-th]
S. Choudhury, A. Mukherjee, P. Chauhan, S. Bhattacherjee, Quantum out-of-equilibrium cosmology. Eur. Phys. J. C 79(4), 320 (2019). arXiv:1809.02732 [hep-th]
S. Choudhury, A. Mukherjee, Quantum randomness in the sky. Eur. Phys. J. C 79(7), 554 (2019). arXiv:1812.04107 [physics.gen-ph]
M. Christandl, A. Winter, Squashed entanglement—an additive entanglement measure. arXiv:quant-ph/0308088
R.R. Tucci, Entanglement of distillation and conditional mutual information. arXiv:quant-ph/0202144
Y.O. Nakagawa, G. Sárosi, T. Ugajin, Chaos and relative entropy. JHEP 1807, 002 (2018). arXiv:1805.01051 [hep-th]
S. Choudhury, S. Chowdhury, N. Gupta, A. Swain, QMetrology from QCosmology: study with entangled two qubit open quantum system in De Sitter space. arXiv:2005.13555 [hep-th]
Y.-H. Luo, H.-S. Zhong, M. Erhard, X.-L. Wang, L.-C. Peng, M. Krenn, X. Jiang, L. Li, N.-L. Liu, L. Chao-Yang, A. Zeilinger, J.-W. Pan, Quantum teleportation in high dimensions. Phys. Rev. Lett. 123, 070505 (2019). arXiv:1906.09697 [quant-ph]
S. Banerjee, S. Choudhury, S. Chowdhury, R.N. Das, N. Gupta, S. Panda, A. Swain, Indirect detection of cosmological constant from large \(N\) entangled open quantum system. arXiv:2004.13058 [hep-th]
Acknowledgements
SC would like to thank Quantum Gravity and Unified Theory and Theoretical Cosmology Group, Max Planck Institute for Gravitational Physics, Albert Einstein Institute (AEI) for providing the Post-Doctoral Research Fellowship. SC take this opportunity to thank sincerely to Jean-Luc Lehners for their constant support and inspiration. SC thank the organisers of XXXI Workshop Beyond the Standard Model, Physikzentrum Bad Honnef, Workshop in String Theory and Cosmology, NISER, Bhubansewar for providing the local hospitality during the work. SC also acknowledge the discussion regarding this work with Shiraz Minwalla, Sandip Trivedi, Joseph Samuel, Madhavan Varadarajan, Aninda Sinha, Justin Raju David, Arnab Kundu, Shibaji Roy, Soumitra Sengupta, which help us significantly to improve the discussions as well as the presentation of the work. Most significantly, SC is thankful to Shiraz Minwalla for giving the opportunity to present this work in very prestigious seminar series, “Quantum Space-time Seminar” at DTP, TIFR. SP acknowledges the J. C. Bose National Fellowship for support of his research. Last but not the least, we would like to acknowledge our debt to the people belonging to the various part of the world for their generous and steady support for research in natural sciences. Satyaki and Abinash are grateful to NISER, Bhubaneswar for providing the excellent atmospehere for this research. Finally, we thank the reviewer and the editor for their valuable comments and suggestions to help us improve this work considerably.
Author information
Authors and Affiliations
Corresponding author
Additional information
Sayantan Choudhury: This project is the part of the non-profit virtual international research consortium “Quantum Structures of the Space-Time & Matter”.
Appendices
Wightman function for probe massless scalar field in static de Sitter Space
In this section we compute the two atomic Wightman correlation function for a massless probe scalar field in static de Sitter spacer characterised by the following infinitesimal line element:
To compute the expression for the each of the entries of the two body Wightman function of the probe scalar field present in the external thermal bath we use the four dimensional static de Sitter geometry of our space-time. In this set of coordinate system in four dimension, the Klein-Gordon field equation for the massless conformally coupled external probe scalar field for the non-adiabatic environment can be expressed as:
where \(\mathbf{L}^2\) is the Laplacian differential operator in the three dimensions characterised by the coordinate \((\chi ,\theta ,\phi )\) , which is explicitly defined as:
where we introduce a new coordinate \(\chi \) which is related to the radial coordinate r as \(r=\sin \chi \). The corresponding two body Wightman function between two space-time points for massless probe scalar field can be expressed as:
where the Partition function for the bath is given by:
Also, the components of the two atomic Wightman function can be expressed asFootnote 9:
Here we have introduced few parameters, which are defined as:
Gorini Kossakowski Sudarshan Lindblad (GSKL) (\(C^{\alpha \beta }_{ij})\) matrix
In this appendix, we explicitly write down the entries of the Gorini Kossakowski Sudarshan Lindblad (GSKL) (\(C^{\alpha \beta }_{ij})\) matrix which is appearing in the expression for the quantum dissipator or Lindbladian operator as given by the following expression:
where we have written the expression in a transformed basis span by \((+,-,3)\) for two entangled OQS set up. The components of \(C^{\alpha \beta }_{ij}\) matrix are very crucial to solve the time evolution equation of the reduced subsystem density matrix when we partially trace out the bath degrees of freedom from our two atomic entangled OQS set up. In general, Gorini Kossakowski Sudarshan Lindblad (GSKL) (\(C^{\alpha \beta }_{ij})\) can be expressed as:
In terms of explicit components the entries of the \(C^{\alpha \beta }_{ij}\) matrix can be written as:
In the next two subsections, we will explicitly compute each of the components of \({\tilde{A}}^{\alpha \beta }\) and \({\tilde{B}}^{\alpha \beta }\) for the two atomic OQS in \((+,-,3)\) transformed basis.
Now we are interested in the following limitFootnote 10:
Finally, substituting the explicit forms of \({\tilde{A}}^{\alpha \beta }\) and \({\tilde{B}}^{\alpha \beta }\) which we have derived in the previous sub section, we get the following expressions for the entries of the GSKL matrix:
Further, using the assumption, \(k\omega _0=i\left( n+ \frac{1}{2}\right) \) where \(n\in {\mathbb {Z}}\), we get the following simplified expressions for the entries of the GSKL matrix:
where, the parameter
for de Sitter space. Here we use the fact that, the curvature of static de Sitter space is given by, \(R_\mathbf{DS }=\sqrt{48\Lambda }>0\) as \(\Lambda >0\) for De Sitter.
Effective Hamiltonian (\(H_{ij}^{\alpha \beta }\)) matrix
In this appendix, we explicitly write down the entries of the Effective Hamiltonian (\(H_{ij}^{\alpha \beta }\)) matrix which is appearing in the expression for the Lamb Shift part of the Hamiltonian as given by the following expression:
where this Hamiltonian is constructed by partially tracing over bath degrees of freedom, which is in our problem a probe massless scalar field. Technically, the Effective Hamiltonian (\(H_{ij}^{\alpha \beta }\)) matrix represent here the strength of the spin chain interaction mentioned above. The general expression of \(H_{ij}^{\alpha \beta }\) matrix is given by the following expression:
In terms of explicit components the entries of the \({H}_{ij}^{\alpha \beta }\) matrix can be written as:
Finally, substituting the explicit forms of \({A}^{\alpha \beta }\) and \({B}^{\alpha \beta }\) which we have derived in the previous sub section, we get the following expressions for the entries of the effective Hamiltonian matrix:
Therefore, all the various entries of \({H}_{ij}^{\alpha \beta }\) can be written as:
The function \(f\left( \omega ,\frac{L}{2}\right) \) has already been defined in the previous section. Here we introduce four integral functions \(\Theta _i\forall i=1,2,3,4\), which is defined as:
In the next section we explicitly compute the contributions from all of these integrals.
Calculation of useful integrals
In this section, we explicitly compute the analytical expression for the useful integrals \(\Theta _i\forall i=1,2,3,4\), which are very useful to compute the expressions for the effective Hamiltonian matrix elements.
1.1 Integral I
In this subsection we explicitly compute the finite contribution from the following integral:
In the limiting approximation \(2\pi k\omega>>1\), one can further expand the integrand by taking large \(k\omega \) approximation as:
This implies that, after taking large \(k\omega \) approximation the integrand of \(\Theta _1\) becomes independent of the parameter k. Now, further using this approximation the integral \(\Theta _1\) can be further simplified as:
where we have written the integrals into two parts,represented by \({{{\mathcal {D}}}_1(\omega _0)}\) and \({{{\mathcal {D}}}_2(\omega _0)}\). Now, here we see that in the \(2\pi k>>1\) limit we get:
Now, here \({{{\mathcal {D}}}_1(\omega _0)}\) and \({{{\mathcal {D}}}_2(\omega _0)}\) gives divergent contributions in the frequency range, \(-\infty<\omega <0\) and \(0<\omega <\infty \). To get the finite regularised contributions from these integrals we introduce a cut-off regulator \(\omega _c\), by following Bethe regularisation procedure. After introducing this cut-off we get the following result:
Consequently, we get the following regularised expression for the integral \(\Theta _1\), as given by:
Now, if we further use the approximation that the cut-off is small compared to \(\omega _0\) i.e. \(\omega _c<<\omega _0\), then we getFootnote 11:
1.2 Integral II
In this subsection we explicitly compute the finite contribution from the following integral:
It is important to note that in the limit, \(2\pi k\omega>>1\), one can further expand the integrand given by the following approximation as:
This implies that, after taking limit \(2\pi k\omega>>1\) the integrand of \(\Theta _2\) becomes independent of the parameter k. Now, further using this approximation the integral \(\Theta _1\) can be expressed as:
where we have written the integrals into two parts, indicated by \({{{\mathcal {N}}}_1(\omega _0)}\) and \({{{\mathcal {N}}}_2(\omega _0)}\). Now, in the limit \(2\pi k\omega>>1\), we get:
Now, here \({{{\mathcal {N}}}_1(\omega _0)}\) and \({{{\mathcal {N}}}_2(\omega _0)}\) gives divergent contributions in the frequency range, \(-\infty<\omega <0\) and \(0<\omega <\infty \). To get the finite contributions from these integrals we introduce a cut-off regulator \(\omega _c\), by following Bethe regularisation procedure. After introducing this cut-off we get the following finite contribution:
Consequently, we get the following expression for the integral \(\Theta _2\), as given by:
1.3 Integral III
In this subsection we explicitly compute the finite contribution from the following integral:
where, we define the function \(f\left( \omega ,\frac{L}{2}\right) \) given by the following expression:
In the limit \(2\pi k>>1\), one can further expand the integrand as:
This implies that, in the limit \(2\pi k>>1\) the integrand of \(\Theta _3\) is not independent of the parameter k. Now, further using this approximation the integral \(\Theta _3\) can be further simplified as:
where we have written the integrals into two parts, indicated by \({{{\mathcal {R}}}^{l}_1(\omega _0,k)}\) and \({{{\mathcal {R}}}^{l}_2(\omega _0,k)}\). Now, here in the limit \(2\pi k>>1\) we get:
Consequently, we get the following expression for the integral \(\Theta _3\), given by:
Further, substituting \(k\omega _0=i\left( n+\frac{1}{2}\right) ~\forall ~n\in {\mathbb {Z}}\), we get the following simplified expression for the integral \(\Theta _3\), given by:
1.4 Integral IV
In this subsection we explicitly compute the finite contribution from the following integral:
where, we define the function \(f\left( \omega ,\frac{L}{2}\right) \) given by the following expression:
In the limit \(2\pi k>>1\), one can further expand the integrand as:
This implies that, in the limit \(2\pi k>>1\) the integrand of \(\Theta _3\) is not independent of the parameter k. Now, further using this approximation the integral \(\Theta _4\) can be further simplified as:
where we have written the integrals into two parts, indicated by \({{{\mathcal {L}}}_1(\omega _0,k)}\) and \({{{\mathcal {L}}}_2(\omega _0,k)}\). Now, here in the limit \(2\pi k>>1\) we get:
Consequently, we get the following expression for the integral \(\Theta _4\), as given by:
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Akhtar, S., Choudhury, S., Chowdhury, S. et al. Open quantum entanglement: a study of two atomic system in static patch of de Sitter space. Eur. Phys. J. C 80, 748 (2020). https://doi.org/10.1140/epjc/s10052-020-8302-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-8302-2